(ImplicationLink (av 0 0 0) (stv 0.900000 0.111111)
  (InheritanceLink (stv 0.1 0.9)
    (VariableNode "?X" (av 0 0 0) (stv 1.000000 0.000000))
    (ConceptNode "Living" (av 0 0 0) (stv 0.010000 0.555556))
  )
  (InheritanceLink (av 0 0 0) (stv 0.1 0.9)
    (VariableNode "?X" (av 0 0 0) (stv 1.000000 0.000000))
    (ConceptNode "Organism" (av 0 0 0) (stv 0.010000 0.555556))
  )
)
(EvaluationLink (av 0 0 0) (stv 0.900000 0.111111)
  (PredicateNode "rules" (av 0 0 0) (stv 0.100000 0.111111))
  (ListLink (av 0 0 0) (stv 1.000000 0.000000)
    (ConceptNode "InversionRule<ImplicationLink>" (av 0 0 0) (stv 0.010000 0.555556))
  )
)
(EvaluationLink (av 0 0 0) (stv 0.900000 0.111111)
  (PredicateNode "query" (av 0 0 0) (stv 0.100000 0.111111))
  (ListLink (av 0 0 0) (stv 1.000000 0.000000)
    (ImplicationLink (av 0 0 0) (stv 1.000000 0.000000)
      (InheritanceLink (av 0 0 0) (stv 1.000000 0.000000)
        (VariableNode "?X" (av 0 0 0) (stv 1.000000 0.000000))
        (ConceptNode "Organism" (av 0 0 0) (stv 0.010000 0.555556))
      )
      (InheritanceLink (av 0 0 0) (stv 1.000000 0.000000)
        (VariableNode "?X" (av 0 0 0) (stv 1.000000 0.000000))
        (ConceptNode "Living" (av 0 0 0) (stv 0.010000 0.555556))
      )
    )
  )
)

